redundant constraint

多余的约束条件